Basis of topology